Hybrid Systems: Computation and Control: 4th International Workshop, HSCC 2001 Rome, Italy, March 28-30, 2001 Proceedings (Lecture Notes in Computer Science): 2034
by Maria Domenica Di Benedetto, Alberto Sangiovanni-Vincentelli
ISBN 13: 9783540418665
Format: Paperback (536 pages) Publisher: Springer Published: 14 Mar 2001 Other Format: Illustrated, Paperback
Save for later
Embedded Software: Second International Conference, EMSOFT 2002, Grenoble, France, October 7-9, 2002. Proceedings: 2491 (Lecture Notes in Computer Science)
by Joseph Sifakis,Alberto Sangiovanni-Vincentelli
ISBN 13: 9783540443070
Format: Paperback (440 pages) Publisher: Springer Published: 25 Sep 2002
The Unknown Component Problem: Theory and Applications
by Tiziano Villa,Nina Yevtushenko,Robert K. Brayton,Alan Mishchenko,Alexandre Petrenko,Alberto Sangiovanni-Vincentelli
ISBN 13: 9781489973948
Format: Paperback (328 pages) Publisher: Springer Published: 25 Jan 2014
Embedded Systems Development: From Functional Models to Implementations: 20
by Alberto Sangiovanni-Vincentelli, Haibo Zeng, Peter Marwedel, Marco Di Natale
ISBN 13: 9781493901203
Format: Paperback (232 pages) Publisher: Springer Published: 06 Aug 2015
Security-Aware Design for Cyber-Physical Systems: A Platform-Based Approach
by Chung-Wei Lin,Alberto Sangiovanni-Vincentelli
ISBN 13: 9783319846217
Format: Paperback (112 pages) Publisher: Springer Published: 23 Jan 2019